ar X iv : c s / 06 08 06 2 v 1 [ cs . G L ] 1 5 A ug 2 00 6 Tarski ’ s influence on computer science

ar X iv : c s / 06 08 05 9 v 1 [ cs . L O ] 1 4 A ug 2 00 6 A Distribution Law for CCS and a New Congruence Result

We give an axiomatisation of strong bisimilarity on a small fragment of CCS that does not feature the sum operator. This axiomatisation is then used to derive congruence of strong bisimilarity in the finite π-calculus in absence of sum. To our knowledge, this is the only nontrivial subcalculus of the π-calculus that includes the full output prefix and for which strong bisimilarity is a congruence.

ar X iv : h ep - e x / 00 08 06 5 v 1 2 6 A ug 2 00 0 Search for Large Extra Dimensions in Dielectron and Diphoton Production

ar X iv : q ua nt - p h / 06 08 19 5 v 1 2 5 A ug 2 00 6 Quantum key distribution based on arbitrary private states

Karol Horodecki, Micha l Horodecki, Pawe l Horodecki, Debbie Leung, Jonathan Oppenheim Department of Mathematics, Physics and Computer Science, University of Gdańsk, 80–952 Gdańsk, Poland Faculty of Applied Physics and Mathematics, Technical University of Gdańsk, 80–952 Gdańsk, Poland Institute for Quantum Computing, University of Waterloo, Waterloo, Ontario, N2L1N8, Canada and Department of Ap...

ar X iv : c s / 06 08 12 0 v 1 [ cs . G T ] 3 0 A ug 2 00 6 Controller synthesis & Ordinal Automata

Ordinal automata are used to model physical systems with Zeno behavior. Using automata and games techniques we solve a control problem formulated and left open by Demri and Nowak in 2005. It involves partial observability and a new synchronization between the controller and the environment.

ar X iv : h ep - p h / 04 08 06 5 v 1 4 A ug 2 00 4 Study of the semileptonic decay